awk '{print $1,$2,$3,int(1000*($4+0.0005))}'
